public interface Separator {
    void print();
    // writes several lines to standard output,
    // separates previous from following output
}
